(0 19 3)(1 18 15)(2 9 7)(4 17 5)(6 20 12)(8 13 10)(11 16 14)
ALLOWS (11/8)-SEQUENCE
1: (12 17 20)
(0 19 3)(1 18 15)(2 9 7)(4 17 6 20 5)(8 13 10)(11 16 14)(12)
2: (1 18 15)
(0 19 3)(1)(2 9 7)(4 17 6 20 5)(8 13 10)(11 16 14)(12)(15)(18)
3: (0 19 3)
(0)(1)(2 9 7)(3)(4 17 6 20 5)(8 13 10)(11 16 14)(12)(15)(18)(19)
4: (5 6 20)
(0)(1)(2 9 7)(3)(4 17 6)(5)(8 13 10)(11 16 14)(12)(15)(18)(19)(20)